* admin/admin.el (manual-style-string): Use new file manual.css.
authorGlenn Morris <rgm@gnu.org>
Thu, 13 Jun 2013 06:18:57 +0000 (23:18 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 13 Jun 2013 06:18:57 +0000 (23:18 -0700)
commit2d7950be5909eccc8213a5f6ac2a87284a158d83
tree9d7cf99fdbfa19d9007445aaafad6af142889983
parentfffdb8e2702de0a757368ac3ad63f5ae062b1352
* admin/admin.el (manual-style-string): Use new file manual.css.
admin/ChangeLog
admin/admin.el